$\forall$$A$, $B$:Type. finite{-}type($A$) $\Rightarrow$ finite{-}type($B$) $\Rightarrow$ finite{-}type($A$+$B$)